WorldFIP总线协议运行在同步模式时引入了空闲帧，这使得传统的抢占式可调度性分析方法无法直接使用。通过分析空闲帧对WorldFIP总线......

作者分析了多种实时任务可调度单调速率分析法(RMA)的适应性,应用一种改进的RMA法分析了作为强实时系统的多通道语音雷达记录仪事......

针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确......

时间约束Petri网（TimingConstraintsPetrinets，简称TCPNs）是一类重要的时间Petri网系统。针对TCPNs中变迁可调度原始语义的不足，本文对......

研究了一种户用两级式光伏并网发电试验系统,给出了系统的总体实现方案,设计并实现了试验系统的主要功能模块.通过本试验系统,可以......

针对汽车车身控制模块可调度性难以预测分析的问题,利用AADL建立相应模型,通过OSATE工具对比分析不同的派遣协议、执行时间、线程......

随着多处理器实时系统在安全性攸关系统中的广泛应用，保证这类系统的正确性成为一项重要的工作．可调度性是实时系统正确性的一项关键......

偶发实时任务最早截止期优先（earliest deadline first,简称EDF）可调度分析是实时系统领域经典的NP困难问题.现有的伪多项式时间判定......

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算......

任务/资源图仿真建模方法由于包含丰富的时间属性而非常有利于分析复杂离散实时系统,通过一个仿真实例来分析任务/资源图模型的任......

为了解决加工装配车间的资源冲突问题，提出了基于面向对象时间约束Petri网的加工装配车间资源可调度性判定方法。该方法给出了面向......

随着车身控制系统的日益智能化,使车身网络规模和通信负载量显著增长,车身网络中信息传输延时愈发明显,大大降低了系统的实时性和......